Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1
Concepts in Programming Languages

Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt
Année:
2001
Langue:
english
Fichier:
PDF, 7.59 MB
0 / 1.0
english, 2001
2
A Brief History of Mathematics for Curious Minds

A Brief History of Mathematics for Curious Minds

Krzysztof R Apt
Année:
2024
Langue:
english
Fichier:
PDF, 40.13 MB
0 / 4.0
english, 2024
3
Principles of Constraint Programming

Principles of Constraint Programming

Krzysztof Apt
Année:
2003
Langue:
english
Fichier:
PDF, 1.74 MB
0 / 0
english, 2003
4
From Logic Programming to Prolog

From Logic Programming to Prolog

Krzysztof R. Apt
Année:
1996
Langue:
english
Fichier:
PDF, 1.30 MB
0 / 0
english, 1996
5
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Année:
2009
Langue:
english
Fichier:
PDF, 2.10 MB
0 / 0
english, 2009
6
Principles of constraint programming

Principles of constraint programming

Krzysztof Apt
Année:
2003
Langue:
english
Fichier:
PDF, 1.73 MB
0 / 0
english, 2003
7
Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace
Année:
2007
Langue:
english
Fichier:
PDF, 1.50 MB
0 / 0
english, 2007
8
Concepts in programming languages

Concepts in programming languages

John C. Mitchell, Krzysztof Apt
Année:
2001
Langue:
english
Fichier:
PDF, 7.59 MB
0 / 0
english, 2001
9
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Année:
2011
Langue:
english
Fichier:
PDF, 1.72 MB
0 / 0
english, 2011
11
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Krzysztof R. Apt, Robert van Rooij, eds.
Année:
2009
Langue:
english
Fichier:
PDF, 8.89 MB
0 / 0
english, 2009
12
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Année:
1997
Langue:
english
Fichier:
PDF, 9.05 MB
0 / 0
english, 1997
15
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Krzysztof R Apt, J W de Bakker, J J M M Rutten
Année:
1993
Langue:
english
Fichier:
PDF, 49.82 MB
0 / 0
english, 1993
17
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Année:
2011
Langue:
english
Fichier:
PDF, 1.72 MB
0 / 0
english, 2011
19
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Apt, Krzysztof R., Rutten, J. J. M. M., Bakker, Jacobus Willem
Année:
1993
Langue:
english
Fichier:
DJVU, 2.08 MB
0 / 0
english, 1993
22
The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)
Année:
1999
Langue:
english
Fichier:
DJVU, 4.12 MB
0 / 0
english, 1999
26
Logic Programming: The Joint [9th] International Conference & Symposium

Logic Programming: The Joint [9th] International Conference & Symposium

Krzysztof Apt (ed.)
Année:
1992
Langue:
english
Fichier:
DJVU, 9.47 MB
0 / 0
english, 1992
30
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Apt, Krzysztof R., Van Rooij, Robert
Année:
2009
Langue:
english
Fichier:
PDF, 12.72 MB
0 / 0
english, 2009
31
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Année:
2009
Langue:
english
Fichier:
PDF, 8.45 MB
0 / 0
english, 2009
32
Logics and models of concurrent systems

Logics and models of concurrent systems

Krzysztof R Apt, North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
Année:
1985
Langue:
english
Fichier:
DJVU, 4.51 MB
0 / 0
english, 1985
36
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Année:
1991
Langue:
english
Fichier:
PDF, 6.94 MB
0 / 0
english, 1991